- backward reasoning
- рассуждение в обратном порядке
Англо-русский словарь компьютерных и интернет терминов. 2013.
Англо-русский словарь компьютерных и интернет терминов. 2013.
Backward chaining — (or backward reasoning) is an inference method used in artificial intelligence. It is one of two methods of reasoning that uses inference rules – the other is forward chaining, also known as modus ponens. Backward chaining is implemented in logic … Wikipedia
Backward induction — is the process of reasoning backwards in time, from the end of a problem or situation, to determine a sequence of optimal actions. It proceeds by first considering the last time a decision might be made and choosing what to do in any situation at … Wikipedia
backward — backward, retrograde, retrogressive, regressive all involve the idea of not moving or going ahead, or forward, or in advance. Only when applied to motion or a movement does backward imply the reverse of forward motion {a backward thrust of a… … New Dictionary of Synonyms
reasoning backward — noun the reasoning involved when you assume the conclusion is true and reason backward to the evidence • Syn: ↑regress • Hypernyms: ↑reasoning, ↑logical thinking, ↑abstract thought … Useful english dictionary
reasoning — I noun thinking that is coherent and logical (Freq. 5) • Syn: ↑logical thinking, ↑abstract thought • Derivationally related forms: ↑reason • Hypernyms: ↑th … Useful english dictionary
backward induction — noun The process of reasoning backwards in time, from the end of a problem or situation, to determine a sequence of optimal actions … Wiktionary
Opportunistic reasoning — is a method of selecting a suitable logical inference strategy within artificial intelligence applications. Specific reasoning methods may be used to draw conclusions from a set of given facts in a knowledge base, e.g. forward chaining versus… … Wikipedia
Abductive reasoning — Abduction, or inference to the best explanation, is a method of reasoning in which one chooses the hypothesis that would, if true, best explain the relevant evidence. Abductive reasoning starts from a set of accepted facts and infers their most… … Wikipedia
Working backward from the goal — is an application of the backward chaining strategy in artificial intelligence. When problem solving, working backward is one way to reach the goal of solving a problem. Use by primates Kanzi, a bonobo (pygmy chimpanzee, Pan paniscus )… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Vimla L. Patel — Vimla Lodhia Patel, PhD, is a Fijian born Canadian cognitive psychologist and biomedical informaticist. She pioneered the use of cognitive science methods and theories in research pertaining to medical problem solving. In addition, she has… … Wikipedia